Bob is cold. Bob is smart. Bob is young. Dave is big. Dave is cold. Dave is nice. Dave is red. Dave is rough. Dave is smart. Dave is young. Fiona is big. Fiona is cold. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. All big, nice things are young. If something is cold then it is rough. If something is rough then it is smart.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All big, nice things are young.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is cold then it is rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it is smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Dave is big.
True
1
proof
[(triple4)]
("Dave" "is" "big" "+")
triple4
Dave is not nice.
False
1
inv-proof
[(triple6)]
("Dave" "is" "nice" "-")
triple6
Bob is rough.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "rough" "-")
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is cold.[(triple1)] Bob is smart.[(triple2 OR ((((triple1) -> rule2)) -> rule3))] Bob is young.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple6)] Dave is red.[(triple7)] Dave is rough.[(triple8 OR ((triple5) -> rule2))] Dave is smart.[(triple9 OR ((triple8) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Dave is young.[(triple10 OR ((triple4 triple6) -> rule1))] Fiona is big.[(triple11)] Fiona is cold.[(triple12)] Fiona is red.[(triple13)] Fiona is rough.[(triple14 OR ((triple12) -> rule2))] Fiona is smart.[(triple15 OR ((triple14) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] Fiona is young.[(triple16)] @1: Bob is rough.[(((triple1) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
((triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple9
((triple8) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple10
((triple4 triple6) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
((triple12) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
((triple14) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple16
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1