Charlie is blue. Charlie is quiet. Charlie is rough. Erin is big. Erin is blue. Erin is quiet. Erin is round. Big people are rough. If someone is blue and green then they are big. All quiet people are blue. Big people are young. All quiet, young people are round. Young people are big.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
All quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
All quiet, young people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Charlie is rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "+")
triple3
Erin is not big.
False
1
inv-proof
[(triple4)]
("Erin" "is" "big" "-")
triple4
Erin is rough.
True
2
proof
[(((triple4) -> rule1))]
("Erin" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple4) -> rule4))]
("Erin" "is" "young" "-")
((triple4) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is round.
Unknown
rconc
[@3: Charlie is round.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule3))] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5 OR ((triple6) -> rule3))] Erin is quiet.[(triple6)] Erin is round.[(triple7 OR ((triple6 ((triple4) -> rule4)) -> rule5))] @1: Erin is rough.[(((triple4) -> rule1))] Erin is young.[(((triple4) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple2) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
((triple6) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
((triple6 ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple4) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1