Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is not young. Erin is kind. Erin is quiet. Erin is red. Erin is young. Fiona is red. Fiona is smart. Gary is furry. Gary is kind. Gary is rough. Gary is not smart. If something is smart then it is furry. All kind things are red. If Fiona is kind and Fiona is furry then Fiona is not smart.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
If something is smart then it is furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If Fiona is kind and Fiona is furry then Fiona is not smart.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "smart" "-"))
Gary is furry.
True
1
proof
[(triple12)]
("Gary" "is" "furry" "+")
triple12
Gary is not rough.
False
1
inv-proof
[(triple14)]
("Gary" "is" "rough" "-")
triple14
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Charlie is furry.[(triple1)] Charlie is not young.[(triple5)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Erin is kind.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8 OR ((triple6) -> rule2))] Erin is young.[(triple9)] Fiona is red.[(triple10)] Fiona is smart.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is not smart.[(triple15)] Gary is rough.[(triple14)] @1: Fiona is furry.[(((triple11) -> rule1))] Gary is red.[(((triple13) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is not young.
("Charlie" "is" "young" "-")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
((triple6) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is not smart.
("Gary" "is" "smart" "-")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple11) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple13) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1