Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is kind. Charlie is cold. Charlie is kind. Charlie is quiet. Fiona is big. Fiona is blue. Fiona is kind. Fiona is quiet. If Charlie is cold then Charlie is big. If Fiona is quiet then Fiona is rough. Kind, green people are cold. If someone is cold then they are kind. Cold, big people are blue. Rough, cold people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If Charlie is cold then Charlie is big.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "big" "+"))
If Fiona is quiet then Fiona is rough.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "rough" "+"))
Kind, green people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Cold, big people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Rough, cold people are big.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Fiona is blue.
True
1
proof
[(triple10)]
("Fiona" "is" "blue" "+")
triple10
Charlie is not quiet.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "quiet" "-")
triple8
Fiona is rough.
True
2
proof
[(((triple12) -> rule2))]
("Fiona" "is" "rough" "+")
((triple12) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple12) -> rule2))]
("Fiona" "is" "rough" "-")
((triple12) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Charlie is blue.
True
4
proof
[(((triple6 ((triple6) -> rule1)) -> rule5))]
("Charlie" "is" "blue" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not blue.
False
4
inv-proof
[(((triple6 ((triple6) -> rule1)) -> rule5))]
("Charlie" "is" "blue" "-")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "cold" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
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" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3 triple1) -> rule5) OR ((((triple5 triple4) -> rule3) triple1) -> rule5))] Bob is cold.[(triple3 OR ((triple5 triple4) -> rule3))] Bob is green.[(triple4)] Bob is kind.[(triple5 OR ((triple3) -> rule4))] Charlie is cold.[(triple6)] Charlie is kind.[(triple7 OR ((triple6) -> rule4))] Charlie is quiet.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] @1: Charlie is big.[(((triple6) -> rule1))] Fiona is rough.[(((triple12) -> rule2))] @2: Charlie is blue.[(((triple6 ((triple6) -> rule1)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple3 triple1) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple5 triple4) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
((triple5 triple4) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
((triple3) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
((triple6) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Charlie is big.
("Charlie" "is" "big" "+")
((triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple12) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2