Anne is furry. Fiona is cold. Gary is kind. Harry is smart. Red, cold people are not young. All blue people are young. If Gary is blue and Gary is cold then Gary is young. Cold people are blue. Furry, kind people are not blue. All cold people are blue. All young people are not red. If Fiona is blue then Fiona is smart.
Anne is furry.
("Anne" "is" "furry" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Red, cold people are not young.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "-"))
All blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If Gary is blue and Gary is cold then Gary is young.
((("Gary" "is" "blue" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "young" "+"))
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Furry, kind people are not blue.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "-"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
All young people are not red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "-"))
If Fiona is blue then Fiona is smart.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "smart" "+"))
Gary is kind.
True
1
proof
[(triple3)]
("Gary" "is" "kind" "+")
triple3
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Fiona is blue.
True
2
proof
[(((triple2) -> rule4) OR ((triple2) -> rule6))]
("Fiona" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple2) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple2) -> rule4) OR ((triple2) -> rule6))]
("Fiona" "is" "blue" "-")
((triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple2) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
True
3
proof
[(((((triple2) -> rule4)) -> rule8) OR ((((triple2) -> rule6)) -> rule8))]
("Fiona" "is" "smart" "+")
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule8) OR ((((triple2) -> rule6)) -> rule8))]
("Fiona" "is" "smart" "-")
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not red.
True
4
proof
[(((((((triple2) -> rule4)) -> rule2)) -> rule7) OR ((((((triple2) -> rule6)) -> rule2)) -> rule7))]
("Fiona" "is" "red" "-")
((((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule2)) -> rule7) OR ((((((triple2) -> rule6)) -> rule2)) -> rule7))]
("Fiona" "is" "red" "+")
((((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "blue" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Fiona is cold.[(triple2)] Gary is kind.[(triple3)] Harry is smart.[(triple4)] @1: Fiona is blue.[(((triple2) -> rule4) OR ((triple2) -> rule6))] @2: Fiona is smart.[(((((triple2) -> rule4)) -> rule8) OR ((((triple2) -> rule6)) -> rule8))] Fiona is young.[(((((triple2) -> rule4)) -> rule2) OR ((((triple2) -> rule6)) -> rule2))] @3: Fiona is not red.[(((((((triple2) -> rule4)) -> rule2)) -> rule7) OR ((((((triple2) -> rule6)) -> rule2)) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple2) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not red.
("Fiona" "is" "red" "-")
((((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3