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