Anne is big. Anne is round. Anne is young. Bob is quiet. Bob is round. Bob is young. Fiona is big. Fiona is quiet. Fiona is round. Harry is quiet. Harry is red. Harry is young. If someone is round then they are young. If someone is young then they are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Bob is round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "+")
triple5
Harry is not quiet.
False
1
inv-proof
[(triple10)]
("Harry" "is" "quiet" "-")
triple10
Bob is big.
True
2
proof
[(((triple6) -> rule2) OR ((((triple5) -> rule1)) -> rule2))]
("Bob" "is" "big" "+")
((triple6) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Fiona is not young.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "young" "-")
((triple9) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is big.[(triple1 OR ((triple3) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Anne is round.[(triple2)] Anne is young.[(triple3 OR ((triple2) -> rule1))] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is young.[(triple6 OR ((triple5) -> rule1))] Fiona is big.[(triple7 OR ((((triple9) -> rule1)) -> rule2))] Fiona is quiet.[(triple8)] Fiona is round.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12)] @1: Bob is big.[(((triple6) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Fiona is young.[(((triple9) -> rule1))] Harry is big.[(((triple12) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple3) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple5) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple7
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Bob is big.
("Bob" "is" "big" "+")
((triple6) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((triple9) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple12) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1