Bob is kind. Bob is rough. Bob is round. Erin is cold. Erin is kind. Erin is round. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. Harry is cold. Harry is quiet. Harry is rough. Harry is round. Cold people are round. All quiet people are young. All young, red people are rough. Kind people are red. If someone is red and quiet then they are young. All quiet people are kind.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All young, red people are rough.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is red and quiet then they are young.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Harry is cold.
True
1
proof
[(triple13)]
("Harry" "is" "cold" "+")
triple13
Harry is not cold.
False
1
inv-proof
[(triple13)]
("Harry" "is" "cold" "-")
triple13
Bob is red.
True
2
proof
[(((triple1) -> rule4))]
("Bob" "is" "red" "+")
((triple1) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple1) -> rule4))]
("Bob" "is" "red" "-")
((triple1) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is red.
True
3
proof
[(((((triple14) -> rule6)) -> rule4))]
("Harry" "is" "red" "+")
((((triple14) -> (rule6 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not red.
False
3
inv-proof
[(((((triple14) -> rule6)) -> rule4))]
("Harry" "is" "red" "-")
((((triple14) -> (rule6 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Erin is rough.
Unknown
rconc
[@2: Erin is rough.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Erin" "is" "rough" "+")
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is round.[(triple6 OR ((triple4) -> rule1))] Fiona is cold.[(triple7)] Fiona is kind.[(triple8 OR ((triple9) -> rule6))] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10 OR ((triple12 ((triple8) -> rule4)) -> rule3) OR ((((triple9) -> rule2) ((triple8) -> rule4)) -> rule3) OR ((triple12 ((((triple9) -> rule6)) -> rule4)) -> rule3) OR ((((triple9) -> rule2) ((((triple9) -> rule6)) -> rule4)) -> rule3) OR ((((((triple8) -> rule4) triple9) -> rule5) ((triple8) -> rule4)) -> rule3) OR ((((((triple8) -> rule4) triple9) -> rule5) ((((triple9) -> rule6)) -> rule4)) -> rule3) OR ((((((((triple9) -> rule6)) -> rule4) triple9) -> rule5) ((triple8) -> rule4)) -> rule3) OR ((((((((triple9) -> rule6)) -> rule4) triple9) -> rule5) ((((triple9) -> rule6)) -> rule4)) -> rule3))] Fiona is round.[(triple11 OR ((triple7) -> rule1))] Fiona is young.[(triple12 OR ((triple9) -> rule2) OR ((((triple8) -> rule4) triple9) -> rule5) OR ((((((triple9) -> rule6)) -> rule4) triple9) -> rule5))] Harry is cold.[(triple13)] Harry is quiet.[(triple14)] Harry is rough.[(triple15 OR ((((triple14) -> rule2) ((((triple14) -> rule6)) -> rule4)) -> rule3) OR ((((((((triple14) -> rule6)) -> rule4) triple14) -> rule5) ((((triple14) -> rule6)) -> rule4)) -> rule3))] Harry is round.[(triple16 OR ((triple13) -> rule1))] @1: Bob is red.[(((triple1) -> rule4))] Erin is red.[(((triple5) -> rule4))] Fiona is red.[(((triple8) -> rule4) OR ((((triple9) -> rule6)) -> rule4))] Harry is kind.[(((triple14) -> rule6))] Harry is young.[(((triple14) -> rule2) OR ((((((triple14) -> rule6)) -> rule4) triple14) -> rule5))] @2: Harry is red.[(((((triple14) -> rule6)) -> rule4))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
((triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
((triple9) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
((triple12 ((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple9) -> (rule2 % int3)) ((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple12 ((((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple9) -> (rule2 % int4)) ((((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple8) -> (rule4 % int3)) triple9) -> (rule5 % int2)) ((triple8) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple8) -> (rule4 % int4)) triple9) -> (rule5 % int3)) ((((triple9) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3)) triple9) -> (rule5 % int2)) ((triple8) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3)) triple9) -> (rule5 % int2)) ((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple11
((triple7) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple12
((triple9) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple8) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
((((triple14) -> (rule2 % int4)) ((((triple14) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((((triple14) -> (rule6 % int4))) -> (rule4 % int3)) triple14) -> (rule5 % int2)) ((((triple14) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple16
((triple13) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple5) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple8) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple14) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple14) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((((triple14) -> (rule6 % int3))) -> (rule4 % int2)) triple14) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((triple14) -> (rule6 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2