Bob is cold. Bob is kind. Bob is smart. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Erin is cold. Erin is furry. Erin is kind. Erin is round. Erin is smart. Erin is young. All round people are smart.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
All round people are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Charlie is young.
True
1
proof
[(triple9)]
("Charlie" "is" "young" "+")
triple9
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Charlie is smart.[(triple8 OR ((triple7) -> rule1))] Charlie is young.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is kind.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14 OR ((triple13) -> rule1))] Erin is young.[(triple15)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
((triple7) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
triple11
Erin is kind.
("Erin" "is" "kind" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple14
((triple13) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple15