Charlie is nice. Charlie is quiet. Charlie is white. Erin is not blue. Erin is nice. Erin is not quiet. Fiona is cold. Fiona is red. Fiona is rough. Fiona is white. Harry is nice. Harry is not quiet. If something is blue and white then it is cold. Nice things are not red. If something is quiet and not white then it is rough. Red things are rough. If Charlie is nice then Charlie is rough. If Fiona is white and Fiona is rough then Fiona is red.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
If something is blue and white then it is cold.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Nice things are not red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "-"))
If something is quiet and not white then it is rough.
((("something" "is" "quiet" "+") ("something" "is" "white" "~")) -> ("something" "is" "rough" "+"))
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If Charlie is nice then Charlie is rough.
((("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "rough" "+"))
If Fiona is white and Fiona is rough then Fiona is red.
((("Fiona" "is" "white" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "red" "+"))
Charlie is nice.
True
1
proof
[(triple1)]
("Charlie" "is" "nice" "+")
triple1
Charlie is not quiet.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "quiet" "-")
triple2
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2)] Charlie is white.[(triple3)] Erin is nice.[(triple5)] Erin is not blue.[(triple4)] Erin is not quiet.[(triple6)] Fiona is cold.[(triple7)] Fiona is red.[(triple8 OR ((triple10 triple9) -> rule6))] Fiona is rough.[(triple9 OR ((triple8) -> rule4))] Fiona is white.[(triple10)] Harry is nice.[(triple11)] Harry is not quiet.[(triple12)] @1: Charlie is not red.[(((triple1) -> rule2))] Charlie is rough.[(((triple1) -> rule5))] Erin is not red.[(((triple5) -> rule2))] Harry is not red.[(((triple11) -> rule2))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is not blue.
("Erin" "is" "blue" "-")
triple4
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple10 triple9) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
((triple8) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple12
Charlie is not red.
("Charlie" "is" "red" "-")
((triple1) -> (rule2 % int1))
Charlie is not red.
("Charlie" "is" "red" "-")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is not red.
("Erin" "is" "red" "-")
((triple5) -> (rule2 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Harry is not red.
("Harry" "is" "red" "-")
((triple11) -> (rule2 % int1))
Harry is not red.
("Harry" "is" "red" "-")
int1