Bob is kind. Bob is not rough. Charlie is rough. Fiona is cold. Harry is not kind. Harry is rough. Harry is not young. If Charlie is green and Charlie is quiet then Charlie is not cold. Round, young things are green. All cold things are round. If something is round and green then it is quiet. If Fiona is rough then Fiona is young. If something is cold and round then it is rough. If something is green then it is cold.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not young.
("Harry" "is" "young" "-")
If Charlie is green and Charlie is quiet then Charlie is not cold.
((("Charlie" "is" "green" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "cold" "-"))
Round, young things are green.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
All cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If something is round and green then it is quiet.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is rough then Fiona is young.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "young" "+"))
If something is cold and round then it is rough.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is green then it is cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Charlie is rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "+")
triple3
Harry is kind.
False
1
inv-proof
[(triple5)]
("Harry" "is" "kind" "+")
triple5
Fiona is round.
True
2
proof
[(((triple4) -> rule3))]
("Fiona" "is" "round" "+")
((triple4) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple4) -> rule3))]
("Fiona" "is" "round" "-")
((triple4) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
True
4
proof
[(((triple4 ((triple4) -> rule3)) -> rule6))]
("Fiona" "is" "rough" "+")
((triple4 ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not rough.
False
4
inv-proof
[(((triple4 ((triple4) -> rule3)) -> rule6))]
("Fiona" "is" "rough" "-")
((triple4 ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
True
5
proof
[(((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule5))]
("Fiona" "is" "young" "+")
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is not young.
False
5
inv-proof
[(((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule5))]
("Fiona" "is" "young" "-")
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
True
8
proof
[(((((triple4) -> rule3) ((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule5)) -> rule2))]
("Fiona" "is" "green" "+")
((((triple4) -> (rule3 % int4)) ((((triple4 ((triple4) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is not green.
False
8
inv-proof
[(((((triple4) -> rule3) ((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule5)) -> rule2))]
("Fiona" "is" "green" "-")
((((triple4) -> (rule3 % int4)) ((((triple4 ((triple4) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is quiet.
True
11
proof
[(((((triple4) -> rule3) ((((triple4) -> rule3) ((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule5)) -> rule2)) -> rule4))]
("Fiona" "is" "quiet" "+")
((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5)) ((((triple4 ((triple4) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is not quiet.
False
11
inv-proof
[(((((triple4) -> rule3) ((((triple4) -> rule3) ((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule5)) -> rule2)) -> rule4))]
("Fiona" "is" "quiet" "-")
((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5)) ((((triple4 ((triple4) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Harry is not round.
Unknown
inv-rconc
[@3: Harry is round.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Charlie is round.
Unknown
rconc
[@3: Charlie is round.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is quiet.
Unknown
rconc
[@2: Bob is quiet.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Bob" "is" "quiet" "+")
Charlie is not quiet.
Unknown
inv-rconc
[@2: Charlie is quiet.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Bob is round.
Unknown
rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is kind.[(triple1)] Bob is not rough.[(triple2)] Charlie is rough.[(triple3)] Fiona is cold.[(triple4)] Harry is not kind.[(triple5)] Harry is not young.[(triple7)] Harry is rough.[(triple6)] @1: Fiona is round.[(((triple4) -> rule3))] @2: Fiona is rough.[(((triple4 ((triple4) -> rule3)) -> rule6))] @3: Fiona is young.[(((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule5))] @4: Fiona is green.[(((((triple4) -> rule3) ((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule5)) -> rule2))] @5: Fiona is quiet.[(((((triple4) -> rule3) ((((triple4) -> rule3) ((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule5)) -> rule2)) -> rule4))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Harry is not kind.
("Harry" "is" "kind" "-")
triple5
Harry is not young.
("Harry" "is" "young" "-")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
((triple4) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4 ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((((triple4) -> (rule3 % int4)) ((((triple4 ((triple4) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5)) ((((triple4 ((triple4) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5