Charlie is kind. Charlie is quiet. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Erin is rough. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is rough. Gary is blue. Gary is green. Gary is kind. Gary is rough. Kind, cold people are big. All rough people are blue. If someone is rough and green then they are cold.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Kind, cold people are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Charlie is quiet.
True
1
proof
[(triple2)]
("Charlie" "is" "quiet" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "rough" "-")
triple12
Erin is big.
True
3
proof
[(((triple5 triple4) -> rule1))]
("Erin" "is" "big" "+")
((triple5 triple4) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
3
inv-proof
[(((triple5 triple4) -> rule1))]
("Erin" "is" "big" "-")
((triple5 triple4) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is big.
True
5
proof
[(((triple15 ((triple16 triple14) -> rule3)) -> rule1))]
("Gary" "is" "big" "+")
((triple15 ((triple16 triple14) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not big.
False
5
inv-proof
[(((triple15 ((triple16 triple14) -> rule3)) -> rule1))]
("Gary" "is" "big" "-")
((triple15 ((triple16 triple14) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Erin is blue.[(triple3 OR ((triple7) -> rule2))] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6)] Erin is rough.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple12) -> rule2))] Fiona is cold.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] Gary is blue.[(triple13 OR ((triple16) -> rule2))] Gary is green.[(triple14)] Gary is kind.[(triple15)] Gary is rough.[(triple16)] @1: Erin is big.[(((triple5 triple4) -> rule1))] Gary is cold.[(((triple16 triple14) -> rule3))] @2: Gary is big.[(((triple15 ((triple16 triple14) -> rule3)) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
((triple7) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
((triple12) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
((triple16) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple14
Gary is kind.
("Gary" "is" "kind" "+")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple16
Erin is big.
("Erin" "is" "big" "+")
((triple5 triple4) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple16 triple14) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple15 ((triple16 triple14) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2