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