Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. Fiona is not big. Fiona is blue. Fiona is red. Fiona is smart. Fiona is not young. Gary is big. Harry is not blue. Harry is quiet. If Harry is big and Harry is red then Harry is not kind. If Harry is young then Harry is not kind. If Charlie is not kind then Charlie is big. If Fiona is smart then Fiona is quiet. Kind, red things are young. If something is kind then it is blue.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is big.
("Gary" "is" "big" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Harry is big and Harry is red then Harry is not kind.
((("Harry" "is" "big" "+") ("Harry" "is" "red" "+")) -> ("Harry" "is" "kind" "-"))
If Harry is young then Harry is not kind.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "kind" "-"))
If Charlie is not kind then Charlie is big.
((("Charlie" "is" "kind" "~")) -> ("Charlie" "is" "big" "+"))
If Fiona is smart then Fiona is quiet.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "quiet" "+"))
Kind, red things are young.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If something is kind then it is blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Harry is not blue.
True
1
proof
[(triple11)]
("Harry" "is" "blue" "-")
triple11
Fiona is not blue.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "blue" "-")
triple6
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4 OR ((triple1 triple2) -> rule5))] Fiona is blue.[(triple6)] Fiona is not big.[(triple5)] Fiona is not young.[(triple9)] Fiona is red.[(triple7)] Fiona is smart.[(triple8)] Gary is big.[(triple10)] Harry is not blue.[(triple11)] Harry is quiet.[(triple12)] @1: Charlie is blue.[(((triple1) -> rule6))] Fiona is quiet.[(((triple8) -> rule4))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
((triple1 triple2) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is not big.
("Fiona" "is" "big" "-")
triple5
Fiona is not young.
("Fiona" "is" "young" "-")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple10
Harry is not blue.
("Harry" "is" "blue" "-")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple8) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1