Charlie is big. Charlie is furry. Charlie is red. Erin is blue. Fiona is blue. Fiona is furry. Harry is big. If someone is white then they are furry. If Fiona is furry then Fiona is not round. Big, white people are blue. If someone is red then they are blue. If Fiona is red and Fiona is cold then Fiona is big. All round people are not cold. All white, red people are not cold. If someone is big then they are round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is furry then Fiona is not round.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "round" "-"))
Big, white people are blue.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If Fiona is red and Fiona is cold then Fiona is big.
((("Fiona" "is" "red" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "big" "+"))
All round people are not cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "-"))
All white, red people are not cold.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "-"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Charlie is red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Fiona is not furry.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "furry" "-")
triple6
Charlie is round.
True
2
proof
[(((triple1) -> rule8))]
("Charlie" "is" "round" "+")
((triple1) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple7) -> rule8))]
("Harry" "is" "round" "-")
((triple7) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Charlie is not cold.
True
3
proof
[(((((triple1) -> rule8)) -> rule6))]
("Charlie" "is" "cold" "-")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Harry is cold.
False
3
inv-proof
[(((((triple7) -> rule8)) -> rule6))]
("Harry" "is" "cold" "+")
((((triple7) -> (rule8 % int2))) -> (rule6 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "big" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3)] Erin is blue.[(triple4)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Harry is big.[(triple7)] @1: Charlie is blue.[(((triple3) -> rule4))] Charlie is round.[(((triple1) -> rule8))] Fiona is not round.[(((triple6) -> rule2))] Harry is round.[(((triple7) -> rule8))] @2: Charlie is not cold.[(((((triple1) -> rule8)) -> rule6))] Harry is not cold.[(((((triple7) -> rule8)) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple1) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
((triple6) -> (rule2 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple7) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Charlie is not cold.
("Charlie" "is" "cold" "-")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Harry is not cold.
("Harry" "is" "cold" "-")
((((triple7) -> (rule8 % int2))) -> (rule6 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
int2