Bob is cold. Bob is green. Bob is smart. Bob is white. Dave is cold. Dave is green. Dave is rough. Dave is white. Fiona is cold. Fiona is furry. Fiona is white. Fiona is young. If someone is young then they are green. If Fiona is cold and Fiona is green then Fiona is smart. Cold, smart people are young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Fiona is cold and Fiona is green then Fiona is smart.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "smart" "+"))
Cold, smart people are young.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Bob is smart.
True
1
proof
[(triple3)]
("Bob" "is" "smart" "+")
triple3
Fiona is not cold.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "cold" "-")
triple9
Fiona is green.
True
2
proof
[(((triple12) -> rule1))]
("Fiona" "is" "green" "+")
((triple12) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple12) -> rule1))]
("Fiona" "is" "green" "-")
((triple12) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
True
4
proof
[(((triple9 ((triple12) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "+")
((triple9 ((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not smart.
False
4
inv-proof
[(((triple9 ((triple12) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "-")
((triple9 ((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((((triple1 triple3) -> rule3)) -> rule1))] Bob is smart.[(triple3)] Bob is white.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Bob is young.[(((triple1 triple3) -> rule3))] Fiona is green.[(((triple12) -> rule1))] @2: Fiona is smart.[(((triple9 ((triple12) -> rule1)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((((triple1 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Bob is young.
("Bob" "is" "young" "+")
((triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple12) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple9 ((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2