Bob is not cold. Bob is kind. Bob is white. Charlie is furry. Charlie is quiet. Charlie is white. Dave is cold. Dave is not furry. Dave is kind. Dave is red. Dave is white. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is red. All quiet people are red. If someone is blue and quiet then they are kind. If Bob is not quiet then Bob is kind. If someone is white and red then they are blue. If someone is quiet and cold then they are not blue. If someone is blue and not kind then they are furry.
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and quiet then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If Bob is not quiet then Bob is kind.
((("Bob" "is" "quiet" "~")) -> ("Bob" "is" "kind" "+"))
If someone is white and red then they are blue.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is quiet and cold then they are not blue.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "-"))
If someone is blue and not kind then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "furry" "+"))
Bob is kind.
True
1
proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Charlie is red.
True
2
proof
[(((triple5) -> rule1))]
("Charlie" "is" "red" "+")
((triple5) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple5) -> rule1))]
("Charlie" "is" "red" "-")
((triple5) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
True
4
proof
[(((triple6 ((triple5) -> rule1)) -> rule4))]
("Charlie" "is" "blue" "+")
((triple6 ((triple5) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not blue.
False
4
inv-proof
[(((triple6 ((triple5) -> rule1)) -> rule4))]
("Charlie" "is" "blue" "-")
((triple6 ((triple5) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "furry" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is kind.[(triple2)] Bob is not cold.[(triple1)] Bob is white.[(triple3)] Charlie is furry.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Dave is cold.[(triple7)] Dave is kind.[(triple9)] Dave is not furry.[(triple8)] Dave is red.[(triple10)] Dave is white.[(triple11)] Fiona is cold.[(triple12)] Fiona is furry.[(triple13)] Fiona is quiet.[(triple14)] Fiona is red.[(triple15 OR ((triple14) -> rule1))] @1: Charlie is red.[(((triple5) -> rule1))] Dave is blue.[(((triple11 triple10) -> rule4))] Fiona is not blue.[(((triple14 triple12) -> rule5))] @2: Charlie is blue.[(((triple6 ((triple5) -> rule1)) -> rule4))] @3: Charlie is kind.[(((((triple6 ((triple5) -> rule1)) -> rule4) triple5) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is not furry.
("Dave" "is" "furry" "-")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple15
((triple14) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple5) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple11 triple10) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
((triple14 triple12) -> (rule5 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 ((triple5) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple6 ((triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3