Bob is furry. Bob is not white. Erin is green. Erin is young. Fiona is green. Fiona is round. Harry is furry. If Erin is blue then Erin is cold. If Bob is furry then Bob is not blue. All blue things are white. All green things are white. All young things are cold. Furry, round things are blue. White things are young. If Fiona is cold then Fiona is furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not white.
("Bob" "is" "white" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Erin is blue then Erin is cold.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "cold" "+"))
If Bob is furry then Bob is not blue.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "blue" "-"))
All blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Furry, round things are blue.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
White things are young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If Fiona is cold then Fiona is furry.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "furry" "+"))
Erin is green.
True
1
proof
[(triple3)]
("Erin" "is" "green" "+")
triple3
Bob is white.
False
1
inv-proof
[(triple2)]
("Bob" "is" "white" "+")
triple2
Erin is cold.
True
2
proof
[(((triple4) -> rule5) OR ((((((triple3) -> rule4)) -> rule7)) -> rule5))]
("Erin" "is" "cold" "+")
((triple4) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Fiona is not white.
False
2
inv-proof
[(((triple5) -> rule4))]
("Fiona" "is" "white" "-")
((triple5) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
True
3
proof
[(((((triple5) -> rule4)) -> rule7))]
("Fiona" "is" "young" "+")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule7))]
("Fiona" "is" "young" "-")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
True
4
proof
[(((((((triple5) -> rule4)) -> rule7)) -> rule5))]
("Fiona" "is" "cold" "+")
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not cold.
False
4
inv-proof
[(((((((triple5) -> rule4)) -> rule7)) -> rule5))]
("Fiona" "is" "cold" "-")
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
True
5
proof
[(((((((((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule8))]
("Fiona" "is" "furry" "+")
((((((((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is not furry.
False
5
inv-proof
[(((((((((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule8))]
("Fiona" "is" "furry" "-")
((((((((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is blue.
True
7
proof
[(((((((((((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule8) triple6) -> rule6))]
("Fiona" "is" "blue" "+")
((((((((((triple5) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is not blue.
False
7
inv-proof
[(((((((((((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule8) triple6) -> rule6))]
("Fiona" "is" "blue" "-")
((((((((((triple5) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Bob" "is" "cold" "-")
Erin is blue.
Unknown
rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "blue" "+")
Harry is not young.
Unknown
inv-rconc
[@3: Harry is young.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule6 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is cold.
Unknown
rconc
[@4: Harry is cold.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule3 <- rule6 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is white.
Unknown
rconc
[@2: Harry is white.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Harry" "is" "white" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is furry.[(triple1)] Bob is not white.[(triple2)] Erin is green.[(triple3)] Erin is young.[(triple4 OR ((((triple3) -> rule4)) -> rule7))] Fiona is green.[(triple5)] Fiona is round.[(triple6)] Harry is furry.[(triple7)] @1: Bob is not blue.[(((triple1) -> rule2))] Erin is cold.[(((triple4) -> rule5) OR ((((((triple3) -> rule4)) -> rule7)) -> rule5))] Erin is white.[(((triple3) -> rule4))] Fiona is white.[(((triple5) -> rule4))] @2: Fiona is young.[(((((triple5) -> rule4)) -> rule7))] @3: Fiona is cold.[(((((((triple5) -> rule4)) -> rule7)) -> rule5))] @4: Fiona is furry.[(((((((((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule8))] @5: Fiona is blue.[(((((((((((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule8) triple6) -> rule6))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not white.
("Bob" "is" "white" "-")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
((((triple3) -> (rule4 % int2))) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Bob is not blue.
("Bob" "is" "blue" "-")
((triple1) -> (rule2 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple4) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((triple3) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple5) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((((((triple5) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5