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