Bob is cold. Bob is white. Erin is cold. Erin is quiet. Erin is white. Fiona is quiet. Fiona is smart. Harry is cold. Harry is quiet. Harry is rough. If something is rough and cold then it is blue. All white things are rough. If something is blue and cold then it is smart.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is rough and cold then it is blue.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All white things are rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If something is blue and cold then it is smart.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Bob is white.
True
1
proof
[(triple2)]
("Bob" "is" "white" "+")
triple2
Fiona is not smart.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "smart" "-")
triple7
Erin is rough.
True
2
proof
[(((triple5) -> rule2))]
("Erin" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple10 triple8) -> rule1))]
("Harry" "is" "blue" "-")
((triple10 triple8) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Erin is blue.
True
4
proof
[(((((triple5) -> rule2) triple3) -> rule1))]
("Erin" "is" "blue" "+")
((((triple5) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Harry is not smart.
False
5
inv-proof
[(((((triple10 triple8) -> rule1) triple8) -> rule3))]
("Harry" "is" "smart" "-")
((((triple10 triple8) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Bob is smart.
True
6
proof
[(((((((triple2) -> rule2) triple1) -> rule1) triple1) -> rule3))]
("Bob" "is" "smart" "+")
((((((triple2) -> (rule2 % int3)) triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not smart.
False
6
inv-proof
[(((((((triple2) -> rule2) triple1) -> rule1) triple1) -> rule3))]
("Bob" "is" "smart" "-")
((((((triple2) -> (rule2 % int3)) triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is cold.[(triple1)] Bob is white.[(triple2)] Erin is cold.[(triple3)] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7)] Harry is cold.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] @1: Bob is rough.[(((triple2) -> rule2))] Erin is rough.[(((triple5) -> rule2))] Harry is blue.[(((triple10 triple8) -> rule1))] @2: Bob is blue.[(((((triple2) -> rule2) triple1) -> rule1))] Erin is blue.[(((((triple5) -> rule2) triple3) -> rule1))] Harry is smart.[(((((triple10 triple8) -> rule1) triple8) -> rule3))] @3: Bob is smart.[(((((((triple2) -> rule2) triple1) -> rule1) triple1) -> rule3))] Erin is smart.[(((((((triple5) -> rule2) triple3) -> rule1) triple3) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10 triple8) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((triple5) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((((triple10 triple8) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple2) -> (rule2 % int3)) triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple5) -> (rule2 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3