Bob is not furry. Erin is cold. Erin is furry. Erin is not green. Fiona is rough. Harry is green. Harry is rough. Green, kind people are red. All rough, cold people are red. Kind, rough people are cold. If Erin is furry and Erin is red then Erin is kind. Kind, green people are not furry. Big people are furry. All rough people are kind. If Fiona is red and Fiona is rough then Fiona is green.
Bob is not furry.
("Bob" "is" "furry" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not green.
("Erin" "is" "green" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Green, kind people are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All rough, cold people are red.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Kind, rough people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If Erin is furry and Erin is red then Erin is kind.
((("Erin" "is" "furry" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "kind" "+"))
Kind, green people are not furry.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "-"))
Big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
All rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is red and Fiona is rough then Fiona is green.
((("Fiona" "is" "red" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "green" "+"))
Erin is not green.
True
1
proof
[(triple4)]
("Erin" "is" "green" "-")
triple4
Erin is green.
False
1
inv-proof
[(triple4)]
("Erin" "is" "green" "+")
triple4
Harry is kind.
True
2
proof
[(((triple7) -> rule7))]
("Harry" "is" "kind" "+")
((triple7) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple7) -> rule7))]
("Harry" "is" "kind" "-")
((triple7) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
True
4
proof
[(((((triple7) -> rule7) triple7) -> rule3))]
("Harry" "is" "cold" "+")
((((triple7) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not cold.
False
4
inv-proof
[(((((triple7) -> rule7) triple7) -> rule3))]
("Harry" "is" "cold" "-")
((((triple7) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Fiona is red.
True
6
proof
[(((triple5 ((((triple5) -> rule7) triple5) -> rule3)) -> rule2))]
("Fiona" "is" "red" "+")
((triple5 ((((triple5) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not red.
False
6
inv-proof
[(((triple5 ((((triple5) -> rule7) triple5) -> rule3)) -> rule2))]
("Fiona" "is" "red" "-")
((triple5 ((((triple5) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is green.
True
8
proof
[(((((triple5 ((((triple5) -> rule7) triple5) -> rule3)) -> rule2) triple5) -> rule8))]
("Fiona" "is" "green" "+")
((((triple5 ((((triple5) -> (rule7 % int4)) triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is not green.
False
8
inv-proof
[(((((triple5 ((((triple5) -> rule7) triple5) -> rule3)) -> rule2) triple5) -> rule8))]
("Fiona" "is" "green" "-")
((((triple5 ((((triple5) -> (rule7 % int4)) triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is not furry.
True
11
proof
[(((((triple5) -> rule7) ((((triple5 ((((triple5) -> rule7) triple5) -> rule3)) -> rule2) triple5) -> rule8)) -> rule5))]
("Fiona" "is" "furry" "-")
((((triple5) -> (rule7 % int5)) ((((triple5 ((((triple5) -> (rule7 % int5)) triple5) -> (rule3 % int4))) -> (rule2 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is furry.
False
11
inv-proof
[(((((triple5) -> rule7) ((((triple5 ((((triple5) -> rule7) triple5) -> rule3)) -> rule2) triple5) -> rule8)) -> rule5))]
("Fiona" "is" "furry" "+")
((((triple5) -> (rule7 % int5)) ((((triple5 ((((triple5) -> (rule7 % int5)) triple5) -> (rule3 % int4))) -> (rule2 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "kind" "-")
Erin is red.
Unknown
rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Erin is kind.
Unknown
rconc
[@2: Erin is kind.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Erin" "is" "kind" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is not furry.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is not green.[(triple4)] Fiona is rough.[(triple5)] Harry is green.[(triple6)] Harry is rough.[(triple7)] @1: Fiona is kind.[(((triple5) -> rule7))] Harry is kind.[(((triple7) -> rule7))] @2: Fiona is cold.[(((((triple5) -> rule7) triple5) -> rule3))] Harry is cold.[(((((triple7) -> rule7) triple7) -> rule3))] Harry is not furry.[(((((triple7) -> rule7) triple6) -> rule5))] Harry is red.[(((triple6 ((triple7) -> rule7)) -> rule1) OR ((triple7 ((((triple7) -> rule7) triple7) -> rule3)) -> rule2))] @3: Fiona is red.[(((triple5 ((((triple5) -> rule7) triple5) -> rule3)) -> rule2))] @4: Fiona is green.[(((((triple5 ((((triple5) -> rule7) triple5) -> rule3)) -> rule2) triple5) -> rule8))] @5: Fiona is not furry.[(((((triple5) -> rule7) ((((triple5 ((((triple5) -> rule7) triple5) -> rule3)) -> rule2) triple5) -> rule8)) -> rule5))]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is not green.
("Erin" "is" "green" "-")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple7) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple5) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple7) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not furry.
("Harry" "is" "furry" "-")
((((triple7) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple6 ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple7 ((((triple7) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((triple5 ((((triple5) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((((triple5 ((((triple5) -> (rule7 % int4)) triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is not furry.
("Fiona" "is" "furry" "-")
((((triple5) -> (rule7 % int5)) ((((triple5 ((((triple5) -> (rule7 % int5)) triple5) -> (rule3 % int4))) -> (rule2 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5