Anne is not nice. Dave is red. Fiona is nice. Harry is blue. Harry is not nice. Harry is white. Harry is young. If Fiona is red then Fiona is smart. All nice things are red. Smart, nice things are young. If something is rough then it is white. If something is young then it is rough. If Fiona is white and Fiona is smart then Fiona is red.
Anne is not nice.
("Anne" "is" "nice" "-")
Dave is red.
("Dave" "is" "red" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Fiona is red then Fiona is smart.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "smart" "+"))
All nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Smart, nice things are young.
((("something" "is" "smart" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is rough then it is white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is young then it is rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If Fiona is white and Fiona is smart then Fiona is red.
((("Fiona" "is" "white" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "red" "+"))
Dave is red.
True
1
proof
[(triple2)]
("Dave" "is" "red" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple7)]
("Harry" "is" "young" "-")
triple7
Fiona is red.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "red" "+")
((triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "red" "-")
((triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("Fiona" "is" "smart" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("Fiona" "is" "smart" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
True
5
proof
[(((((((triple3) -> rule2)) -> rule1) triple3) -> rule3))]
("Fiona" "is" "young" "+")
((((((triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is not young.
False
5
inv-proof
[(((((((triple3) -> rule2)) -> rule1) triple3) -> rule3))]
("Fiona" "is" "young" "-")
((((((triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
True
6
proof
[(((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule5))]
("Fiona" "is" "rough" "+")
((((((((triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not rough.
False
6
inv-proof
[(((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule5))]
("Fiona" "is" "rough" "-")
((((((((triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is white.
True
7
proof
[(((((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule5)) -> rule4))]
("Fiona" "is" "white" "+")
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is not white.
False
7
inv-proof
[(((((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule5)) -> rule4))]
("Fiona" "is" "white" "-")
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "red" "-")
Dave is white.
Unknown
rconc
[@3: Dave is white.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule3 <- FAIL)]]
("Dave" "is" "white" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Anne is rough.
Unknown
rconc
[@2: Anne is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Anne" "is" "rough" "+")
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "young" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "+")
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Anne is not nice.[(triple1)] Dave is red.[(triple2)] Fiona is nice.[(triple3)] Harry is blue.[(triple4)] Harry is not nice.[(triple5)] Harry is white.[(triple6 OR ((((triple7) -> rule5)) -> rule4))] Harry is young.[(triple7)] @1: Fiona is red.[(((triple3) -> rule2))] Harry is rough.[(((triple7) -> rule5))] @2: Fiona is smart.[(((((triple3) -> rule2)) -> rule1))] @3: Fiona is young.[(((((((triple3) -> rule2)) -> rule1) triple3) -> rule3))] @4: Fiona is rough.[(((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule5))] @5: Fiona is white.[(((((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule5)) -> rule4))]
Anne is not nice.
("Anne" "is" "nice" "-")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Harry is not nice.
("Harry" "is" "nice" "-")
triple5
Harry is white.
("Harry" "is" "white" "+")
triple6
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
((triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple7) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((((triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((((triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5