Charlie is blue. Charlie is round. Charlie is white. Charlie is young. Gary is green. Gary is rough. Gary is round. Gary is smart. Gary is white. Gary is young. If Gary is rough then Gary is round. All smart, rough people are blue. Rough people are blue. All round people are blue. Young people are rough. All green people are smart. If someone is green and rough then they are smart. Smart people are round.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is rough then Gary is round.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "round" "+"))
All smart, rough people are blue.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
All round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is green and rough then they are smart.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Gary is green.
True
1
proof
[(triple5)]
("Gary" "is" "green" "+")
triple5
Gary is not white.
False
1
inv-proof
[(triple9)]
("Gary" "is" "white" "-")
triple9
Charlie is rough.
True
2
proof
[(((triple4) -> rule5))]
("Charlie" "is" "rough" "+")
((triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple4) -> rule5))]
("Charlie" "is" "rough" "-")
((triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule4) OR ((((triple4) -> rule5)) -> rule3))] Charlie is round.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6 OR ((triple10) -> rule5))] Gary is round.[(triple7 OR ((triple6) -> rule1) OR ((triple8) -> rule8) OR ((((triple10) -> rule5)) -> rule1) OR ((((triple5) -> rule6)) -> rule8) OR ((((triple5 triple6) -> rule7)) -> rule8) OR ((((triple5 ((triple10) -> rule5)) -> rule7)) -> rule8))] Gary is smart.[(triple8 OR ((triple5) -> rule6) OR ((triple5 triple6) -> rule7) OR ((triple5 ((triple10) -> rule5)) -> rule7))] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Charlie is rough.[(((triple4) -> rule5))] Gary is blue.[(((triple6) -> rule3) OR ((triple7) -> rule4) OR ((triple8 triple6) -> rule2) OR ((((triple10) -> rule5)) -> rule3) OR ((((triple6) -> rule1)) -> rule4) OR ((((triple8) -> rule8)) -> rule4) OR ((triple8 ((triple10) -> rule5)) -> rule2) OR ((((triple5) -> rule6) triple6) -> rule2) OR ((((triple5 triple6) -> rule7) triple6) -> rule2) OR ((((triple5) -> rule6) ((triple10) -> rule5)) -> rule2) OR ((((triple5 triple6) -> rule7) ((triple10) -> rule5)) -> rule2) OR ((((((triple10) -> rule5)) -> rule1)) -> rule4) OR ((((((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((triple5 triple6) -> rule7)) -> rule8)) -> rule4) OR ((((triple5 ((triple10) -> rule5)) -> rule7) triple6) -> rule2) OR ((((triple5 ((triple10) -> rule5)) -> rule7) ((triple10) -> rule5)) -> rule2) OR ((((((triple5 ((triple10) -> rule5)) -> rule7)) -> rule8)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple2) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
((triple10) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple6) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple8) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple5 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple5 ((triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
triple8
((triple5) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple5 triple6) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple5 ((triple10) -> (rule5 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple7) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple8 triple6) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple8) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple8 ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple5) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple5 triple6) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple5) -> (rule6 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple5 triple6) -> (rule7 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple5 triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple5 ((triple10) -> (rule5 % int3))) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple5 ((triple10) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple5 ((triple10) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4