Bob is nice. Bob is rough. Charlie is cold. Charlie is rough. Fiona is green. Fiona is red. Fiona is rough. Fiona is smart. Gary is cold. Gary is furry. Gary is green. Gary is rough. Rough people are smart. All smart, nice people are furry. All nice, furry people are cold.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
All smart, nice people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
All nice, furry people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Gary is rough.
True
1
proof
[(triple12)]
("Gary" "is" "rough" "+")
triple12
Fiona is not smart.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule1))]
("Fiona" "is" "smart" "-")
triple8
((triple7) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is smart.
True
2
proof
[(((triple12) -> rule1))]
("Gary" "is" "smart" "+")
((triple12) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Charlie is not smart.
False
2
inv-proof
[(((triple4) -> rule1))]
("Charlie" "is" "smart" "-")
((triple4) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Bob is furry.
True
4
proof
[(((((triple2) -> rule1) triple1) -> rule2))]
("Bob" "is" "furry" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is not furry.
False
4
inv-proof
[(((((triple2) -> rule1) triple1) -> rule2))]
("Bob" "is" "furry" "-")
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
True
6
proof
[(((triple1 ((((triple2) -> rule1) triple1) -> rule2)) -> rule3))]
("Bob" "is" "cold" "+")
((triple1 ((((triple2) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is not cold.
False
6
inv-proof
[(((triple1 ((((triple2) -> rule1) triple1) -> rule2)) -> rule3))]
("Bob" "is" "cold" "-")
((triple1 ((((triple2) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Charlie is cold.[(triple3)] Charlie is rough.[(triple4)] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8 OR ((triple7) -> rule1))] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is rough.[(triple12)] @1: Bob is smart.[(((triple2) -> rule1))] Charlie is smart.[(((triple4) -> rule1))] Gary is smart.[(((triple12) -> rule1))] @2: Bob is furry.[(((((triple2) -> rule1) triple1) -> rule2))] @3: Bob is cold.[(((triple1 ((((triple2) -> rule1) triple1) -> rule2)) -> rule3))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
((triple7) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Bob is smart.
("Bob" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple12) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 ((((triple2) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3