Anne is nice. Anne is rough. Anne is round. Anne is smart. Charlie is round. Charlie is smart. Charlie is young. Erin is rough. Erin is smart. Harry is nice. Harry is round. Harry is smart. All smart, red people are round. If someone is smart then they are round.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All smart, red people are round.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is smart then they are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Harry is nice.
True
1
proof
[(triple10)]
("Harry" "is" "nice" "+")
triple10
Charlie is not round.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule2))]
("Charlie" "is" "round" "-")
triple5
((triple6) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is round.
True
2
proof
[(((triple9) -> rule2))]
("Erin" "is" "round" "+")
((triple9) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple9) -> rule2))]
("Erin" "is" "round" "-")
((triple9) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
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 nice.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3 OR ((triple4) -> rule2))] Anne is smart.[(triple4)] Charlie is round.[(triple5 OR ((triple6) -> rule2))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Harry is nice.[(triple10)] Harry is round.[(triple11 OR ((triple12) -> rule2))] Harry is smart.[(triple12)] @1: Erin is round.[(((triple9) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
((triple4) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
((triple6) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
((triple12) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
((triple9) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1