Bob is blue. Bob is furry. Dave is furry. Dave is rough. Dave is smart. Fiona is blue. Fiona is young. Gary is furry. Gary is rough. Gary is young. If Dave is blue then Dave is smart. All rough, smart things are cold. Blue, cold things are furry. If Fiona is blue then Fiona is cold. If something is furry and cold then it is smart. All young, green things are rough. If something is rough and cold then it is blue. Cold, smart things are green.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
If Dave is blue then Dave is smart.
((("Dave" "is" "blue" "+")) -> ("Dave" "is" "smart" "+"))
All rough, smart things are cold.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Blue, cold things are furry.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If Fiona is blue then Fiona is cold.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "cold" "+"))
If something is furry and cold then it is smart.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
All young, green things are rough.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is rough and cold then it is blue.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
Cold, smart things are green.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
Dave is smart.
True
1
proof
[(triple5)]
("Dave" "is" "smart" "+")
triple5
Gary is not rough.
False
1
inv-proof
[(triple9)]
("Gary" "is" "rough" "-")
triple9
Dave is cold.
True
3
proof
[(((triple4 triple5) -> rule2))]
("Dave" "is" "cold" "+")
((triple4 triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple6) -> rule4))]
("Fiona" "is" "cold" "-")
((triple6) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
True
4
proof
[(((triple6 ((triple6) -> rule4)) -> rule3))]
("Fiona" "is" "furry" "+")
((triple6 ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((triple6 ((triple6) -> rule4)) -> rule3))]
("Fiona" "is" "furry" "-")
((triple6 ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
True
7
proof
[(((((triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule5))]
("Fiona" "is" "smart" "+")
((((triple6 ((triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((triple6) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is not smart.
False
7
inv-proof
[(((((triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule5))]
("Fiona" "is" "smart" "-")
((((triple6 ((triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((triple6) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
True
10
proof
[(((((triple6) -> rule4) ((((triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule5)) -> rule8))]
("Fiona" "is" "green" "+")
((((triple6) -> (rule4 % int4)) ((((triple6 ((triple6) -> (rule4 % int4))) -> (rule3 % int3)) ((triple6) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is not green.
False
10
inv-proof
[(((((triple6) -> rule4) ((((triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule5)) -> rule8))]
("Fiona" "is" "green" "-")
((((triple6) -> (rule4 % int4)) ((((triple6 ((triple6) -> (rule4 % int4))) -> (rule3 % int3)) ((triple6) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is rough.
True
12
proof
[(((triple7 ((((triple6) -> rule4) ((((triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule5)) -> rule8)) -> rule6))]
("Fiona" "is" "rough" "+")
((triple7 ((((triple6) -> (rule4 % int5)) ((((triple6 ((triple6) -> (rule4 % int5))) -> (rule3 % int4)) ((triple6) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is not rough.
False
12
inv-proof
[(((triple7 ((((triple6) -> rule4) ((((triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule5)) -> rule8)) -> rule6))]
("Fiona" "is" "rough" "-")
((triple7 ((((triple6) -> (rule4 % int5)) ((((triple6 ((triple6) -> (rule4 % int5))) -> (rule3 % int4)) ((triple6) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Gary is not green.
Unknown
inv-rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule8 <- rule2 <- rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Bob is smart.
Unknown
rconc
[@2: Bob is smart.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Bob" "is" "smart" "+")
Gary is not blue.
Unknown
inv-rconc
[@3: Gary is blue.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is green.
Unknown
rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule8 <- rule2 <- rule6 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Dave is furry.[(triple3 OR ((((triple4 ((triple4 triple5) -> rule2)) -> rule7) ((triple4 triple5) -> rule2)) -> rule3))] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is young.[(triple7)] Gary is furry.[(triple8)] Gary is rough.[(triple9)] Gary is young.[(triple10)] @1: Dave is cold.[(((triple4 triple5) -> rule2))] Fiona is cold.[(((triple6) -> rule4))] @2: Dave is blue.[(((triple4 ((triple4 triple5) -> rule2)) -> rule7))] Dave is green.[(((((triple4 triple5) -> rule2) triple5) -> rule8))] Fiona is furry.[(((triple6 ((triple6) -> rule4)) -> rule3))] @3: Fiona is smart.[(((((triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule5))] @4: Fiona is green.[(((((triple6) -> rule4) ((((triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule5)) -> rule8))] @5: Fiona is rough.[(((triple7 ((((triple6) -> rule4) ((((triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule5)) -> rule8)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
((((triple4 ((triple4 triple5) -> (rule2 % int3))) -> (rule7 % int2)) ((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple6) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple4 ((triple4 triple5) -> (rule2 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple4 triple5) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6 ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple6 ((triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((triple6) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((((triple6) -> (rule4 % int4)) ((((triple6 ((triple6) -> (rule4 % int4))) -> (rule3 % int3)) ((triple6) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7 ((((triple6) -> (rule4 % int5)) ((((triple6 ((triple6) -> (rule4 % int5))) -> (rule3 % int4)) ((triple6) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5