Charlie is blue. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Gary is blue. Gary is green. Gary is nice. Gary is rough. Gary is round. Rough, round people are nice. All rough people are nice.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
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 round.
("Gary" "is" "round" "+")
Rough, round people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
All rough people are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Gary is rough.
True
1
proof
[(triple11)]
("Gary" "is" "rough" "+")
triple11
Charlie is not round.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "round" "-")
triple5
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3 OR ((triple4) -> rule2) OR ((triple4 triple5) -> rule1))] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10 OR ((triple11) -> rule2) OR ((triple11 triple12) -> rule1))] Gary is rough.[(triple11)] Gary is round.[(triple12)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple4 triple5) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
((triple11) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple11 triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12