Erin is kind. Erin is round. Erin is white. Fiona is big. Fiona is blue. Gary is blue. Gary is rough. Gary is round. Gary is white. Gary is young. Kind things are young. If something is blue then it is big. If something is young then it is blue. Young, round things are white. Big, rough things are kind. If something is blue then it is young.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is blue then it is big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If something is young then it is blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Young, round things are white.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Big, rough things are kind.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Erin is not kind.
False
1
inv-proof
[(triple1)]
("Erin" "is" "kind" "-")
triple1
Erin is young.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "young" "+")
((triple1) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple6) -> rule2) OR ((((triple10) -> rule3)) -> rule2))]
("Gary" "is" "big" "-")
((triple6) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Erin is blue.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Erin" "is" "blue" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Gary is not kind.
False
4
inv-proof
[(((((triple6) -> rule2) triple7) -> rule5) OR ((((((triple10) -> rule3)) -> rule2) triple7) -> rule5))]
("Gary" "is" "kind" "-")
((((triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is kind.
Unknown
rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "kind" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is kind.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3 OR ((((triple1) -> rule1) triple2) -> rule4))] Fiona is big.[(triple4 OR ((triple5) -> rule2))] Fiona is blue.[(triple5)] Gary is blue.[(triple6 OR ((triple10) -> rule3))] Gary is rough.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9 OR ((triple10 triple8) -> rule4) OR ((((triple6) -> rule6) triple8) -> rule4) OR ((((((((triple6) -> rule2) triple7) -> rule5)) -> rule1) triple8) -> rule4))] Gary is young.[(triple10 OR ((triple6) -> rule6) OR ((((((triple6) -> rule2) triple7) -> rule5)) -> rule1))] @1: Erin is young.[(((triple1) -> rule1))] Fiona is young.[(((triple5) -> rule6))] Gary is big.[(((triple6) -> rule2) OR ((((triple10) -> rule3)) -> rule2))] @2: Erin is blue.[(((((triple1) -> rule1)) -> rule3))] Gary is kind.[(((((triple6) -> rule2) triple7) -> rule5) OR ((((((triple10) -> rule3)) -> rule2) triple7) -> rule5))] @3: Erin is big.[(((((((triple1) -> rule1)) -> rule3)) -> rule2))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
((((triple1) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple4
((triple5) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
((triple10) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
((triple10 triple8) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple6) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((((((triple6) -> (rule2 % int4)) triple7) -> (rule5 % int3))) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple6) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((((triple6) -> (rule2 % int3)) triple7) -> (rule5 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
((triple1) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple5) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple6) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3