Bob is green. Bob is kind. Charlie is green. Charlie is kind. Fiona is cold. Gary is kind. Gary is round. If Gary is cold then Gary is quiet. If Fiona is round then Fiona is quiet. If someone is big then they are cold. Blue people are green. Cold, green people are round. Cold people are green.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is cold then Gary is quiet.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "quiet" "+"))
If Fiona is round then Fiona is quiet.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "quiet" "+"))
If someone is big then they are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Cold, green people are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Bob is green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Gary is not kind.
False
1
inv-proof
[(triple6)]
("Gary" "is" "kind" "-")
triple6
Fiona is green.
True
2
proof
[(((triple5) -> rule6))]
("Fiona" "is" "green" "+")
((triple5) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple5) -> rule6))]
("Fiona" "is" "green" "-")
((triple5) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
True
4
proof
[(((triple5 ((triple5) -> rule6)) -> rule5))]
("Fiona" "is" "round" "+")
((triple5 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not round.
False
4
inv-proof
[(((triple5 ((triple5) -> rule6)) -> rule5))]
("Fiona" "is" "round" "-")
((triple5 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is quiet.
True
5
proof
[(((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule2))]
("Fiona" "is" "quiet" "+")
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not quiet.
False
5
inv-proof
[(((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule2))]
("Fiona" "is" "quiet" "-")
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "cold" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Fiona is cold.[(triple5)] Gary is kind.[(triple6)] Gary is round.[(triple7)] @1: Fiona is green.[(((triple5) -> rule6))] @2: Fiona is round.[(((triple5 ((triple5) -> rule6)) -> rule5))] @3: Fiona is quiet.[(((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
((triple5) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple5 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3