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