Charlie is red. Charlie is smart. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Gary is white. Red, quiet people are white. If someone is nice and quiet then they are big. If Gary is quiet and Gary is young then Gary is nice.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Red, quiet people are white.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is nice and quiet then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If Gary is quiet and Gary is young then Gary is nice.
((("Gary" "is" "quiet" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "nice" "+"))
Gary is white.
True
1
proof
[(triple7 OR ((triple5 triple4) -> rule1))]
("Gary" "is" "white" "+")
triple7
((triple5 triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
1
inv-proof
[(triple7 OR ((triple5 triple4) -> rule1))]
("Gary" "is" "white" "-")
triple7
((triple5 triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
True
3
proof
[(((triple3 triple4) -> rule2))]
("Gary" "is" "big" "+")
((triple3 triple4) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("Gary" "is" "big" "-")
((triple3 triple4) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is red.[(triple1)] Charlie is smart.[(triple2)] Gary is nice.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple5 triple4) -> rule1))] @1: Gary is big.[(((triple3 triple4) -> rule2))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
((triple5 triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple3 triple4) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1