Charlie is blue. Charlie is furry. Charlie is round. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is round. Erin is young. All young things are kind. All young, round things are furry. If Charlie is blue and Charlie is furry then Charlie is kind.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
All young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
All young, round things are furry.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If Charlie is blue and Charlie is furry then Charlie is kind.
((("Charlie" "is" "blue" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "kind" "+"))
Erin is young.
True
1
proof
[(triple10)]
("Erin" "is" "young" "+")
triple10
Erin is not young.
False
1
inv-proof
[(triple10)]
("Erin" "is" "young" "-")
triple10
Charlie is kind.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Charlie" "is" "kind" "+")
((triple1 triple2) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("Charlie" "is" "kind" "-")
((triple1 triple2) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is round.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6 OR ((triple10 triple9) -> rule2))] Erin is kind.[(triple7 OR ((triple10) -> rule1))] Erin is rough.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10)] @1: Charlie is kind.[(((triple1 triple2) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
((triple10 triple9) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple7
((triple10) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1 triple2) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1