Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is smart. All round things are quiet. Smart, rough things are red. If Gary is round then Gary is green.
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Smart, rough things are red.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If Gary is round then Gary is green.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "green" "+"))
Harry is nice.
True
1
proof
[(triple9)]
("Harry" "is" "nice" "+")
triple9
Harry is not round.
False
1
inv-proof
[(triple11)]
("Harry" "is" "round" "-")
triple11
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Gary is green.[(triple1 OR ((triple6) -> rule3))] Gary is nice.[(triple2)] Gary is quiet.[(triple3 OR ((triple6) -> rule1))] Gary is red.[(triple4 OR ((triple7 triple5) -> rule2))] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10 OR ((triple11) -> rule1))] Harry is round.[(triple11)] Harry is smart.[(triple12)]
Gary is green.
("Gary" "is" "green" "+")
triple1
((triple6) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
((triple6) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple4
((triple7 triple5) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
((triple11) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12