Erin is nice. Erin is red. Harry is blue. Harry is kind. Harry is nice. Harry is red. Harry is young. All rough, blue things are kind. Rough things are red. All kind, young things are red. Young, blue things are white. If something is rough and not red then it is nice. If something is rough and kind then it is nice.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
All rough, blue things are kind.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
All kind, young things are red.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Young, blue things are white.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If something is rough and not red then it is nice.
((("something" "is" "rough" "+") ("something" "is" "red" "~")) -> ("something" "is" "nice" "+"))
If something is rough and kind then it is nice.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Erin is red.
True
1
proof
[(triple2)]
("Erin" "is" "red" "+")
triple2
Erin is not red.
False
1
inv-proof
[(triple2)]
("Erin" "is" "red" "-")
triple2
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "white" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Erin is nice.[(triple1)] Erin is red.[(triple2)] Harry is blue.[(triple3)] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is red.[(triple6 OR ((triple4 triple7) -> rule3))] Harry is young.[(triple7)] @1: Harry is white.[(((triple7 triple3) -> rule4))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Harry is blue.
("Harry" "is" "blue" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
((triple4 triple7) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is white.
("Harry" "is" "white" "+")
((triple7 triple3) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1