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