Bob is cold. Bob is kind. Bob is nice. Bob is rough. Bob is round. Charlie is cold. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. If Charlie is rough then Charlie is green. If someone is cold then they are quiet. If Bob is quiet and Bob is nice then Bob is rough. Cold, nice people are quiet. If Fiona is nice and Fiona is kind then Fiona is cold. If Fiona is cold and Fiona is green then Fiona is nice.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If Charlie is rough then Charlie is green.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "green" "+"))
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If Bob is quiet and Bob is nice then Bob is rough.
((("Bob" "is" "quiet" "+") ("Bob" "is" "nice" "+")) -> ("Bob" "is" "rough" "+"))
Cold, nice people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is nice and Fiona is kind then Fiona is cold.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "cold" "+"))
If Fiona is cold and Fiona is green then Fiona is nice.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "nice" "+"))
Fiona is kind.
True
1
proof
[(triple9)]
("Fiona" "is" "kind" "+")
triple9
Charlie is not cold.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "cold" "-")
triple6
Fiona is nice.
True
3
proof
[(((triple7 triple8) -> rule6))]
("Fiona" "is" "nice" "+")
((triple7 triple8) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple1 triple3) -> rule4))]
("Bob" "is" "quiet" "-")
((triple1) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple1 triple3) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4 OR ((((triple1) -> rule2) triple3) -> rule3) OR ((((triple1 triple3) -> rule4) triple3) -> rule3))] Bob is round.[(triple5)] Charlie is cold.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10 OR ((triple7) -> rule2) OR ((triple7 ((triple7 triple8) -> rule6)) -> rule4))] @1: Bob is quiet.[(((triple1) -> rule2) OR ((triple1 triple3) -> rule4))] Charlie is quiet.[(((triple6) -> rule2))] Fiona is nice.[(((triple7 triple8) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((((triple1) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple1 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
((triple7) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple7 ((triple7 triple8) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple1 triple3) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple6) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7 triple8) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1