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