Anne is big. Anne is furry. Anne is rough. Dave is big. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is rough. Harry is not cold. Harry is furry. Harry is nice. All cold people are big. Quiet people are big. If someone is young and not nice then they are big. If someone is rough and cold then they are furry. Young people are quiet. If Harry is furry then Harry is young.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If someone is young and not nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "big" "+"))
If someone is rough and cold then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Young people are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If Harry is furry then Harry is young.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "young" "+"))
Dave is rough.
True
1
proof
[(triple8)]
("Dave" "is" "rough" "+")
triple8
Harry is not furry.
False
1
inv-proof
[(triple14)]
("Harry" "is" "furry" "-")
triple14
Harry is young.
True
2
proof
[(((triple14) -> rule6))]
("Harry" "is" "young" "+")
((triple14) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple14) -> rule6))]
("Harry" "is" "young" "-")
((triple14) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
True
3
proof
[(((((triple14) -> rule6)) -> rule5))]
("Harry" "is" "quiet" "+")
((((triple14) -> (rule6 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not quiet.
False
3
inv-proof
[(((((triple14) -> rule6)) -> rule5))]
("Harry" "is" "quiet" "-")
((((triple14) -> (rule6 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
True
4
proof
[(((((((triple14) -> rule6)) -> rule5)) -> rule2))]
("Harry" "is" "big" "+")
((((((triple14) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not big.
False
4
inv-proof
[(((((((triple14) -> rule6)) -> rule5)) -> rule2))]
("Harry" "is" "big" "-")
((((((triple14) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "furry" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Dave is big.[(triple4 OR ((triple5) -> rule1) OR ((triple7) -> rule2))] Dave is cold.[(triple5)] Dave is furry.[(triple6 OR ((triple8 triple5) -> rule4))] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] Fiona is big.[(triple9 OR ((triple11) -> rule2))] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] Harry is furry.[(triple14)] Harry is nice.[(triple15)] Harry is not cold.[(triple13)] @1: Harry is young.[(((triple14) -> rule6))] @2: Harry is quiet.[(((((triple14) -> rule6)) -> rule5))] @3: Harry is big.[(((((((triple14) -> rule6)) -> rule5)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
((triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
((triple8 triple5) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
((triple11) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Harry is not cold.
("Harry" "is" "cold" "-")
triple13
Harry is young.
("Harry" "is" "young" "+")
((triple14) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple14) -> (rule6 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((((triple14) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3