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