Dave is round. Dave is young. Gary is cold. Gary is furry. Gary is green. Gary is red. Gary is round. Gary is smart. Gary is young. Harry is cold. Harry is furry. Harry is green. Harry is red. Harry is round. Harry is smart. Harry is young. All young things are round. All cold things are furry.
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
All cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Harry is young.
True
1
proof
[(triple16)]
("Harry" "is" "young" "+")
triple16
Harry is not smart.
False
1
inv-proof
[(triple15)]
("Harry" "is" "smart" "-")
triple15
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is round.[(triple1 OR ((triple2) -> rule1))] Dave is young.[(triple2)] Gary is cold.[(triple3)] Gary is furry.[(triple4 OR ((triple3) -> rule2))] Gary is green.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7 OR ((triple9) -> rule1))] Gary is smart.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple10) -> rule2))] Harry is green.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14 OR ((triple16) -> rule1))] Harry is smart.[(triple15)] Harry is young.[(triple16)]
Dave is round.
("Dave" "is" "round" "+")
triple1
((triple2) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
((triple3) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple10) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
((triple16) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16