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