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