Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is round. Bob is smart. Erin is big. Erin is furry. Erin is round. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is round. Gary is smart. Gary is not young. If someone is round and not furry then they are young. If Bob is furry and Bob is kind then Bob is smart. If Erin is round and Erin is big then Erin is not young. If Erin is smart and Erin is kind then Erin is cold. If someone is smart then they are cold. All young people are cold. If someone is round and not young then they are smart. If someone is big and not furry then they are not smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not young.
("Gary" "is" "young" "-")
If someone is round and not furry then they are young.
((("someone" "is" "round" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "young" "+"))
If Bob is furry and Bob is kind then Bob is smart.
((("Bob" "is" "furry" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "smart" "+"))
If Erin is round and Erin is big then Erin is not young.
((("Erin" "is" "round" "+") ("Erin" "is" "big" "+")) -> ("Erin" "is" "young" "-"))
If Erin is smart and Erin is kind then Erin is cold.
((("Erin" "is" "smart" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "cold" "+"))
If someone is smart then they are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
All young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and not young then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "smart" "+"))
If someone is big and not furry then they are not smart.
((("someone" "is" "big" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "smart" "-"))
Bob is kind.
True
1
proof
[(triple4)]
("Bob" "is" "kind" "+")
triple4
Gary is young.
False
1
inv-proof
[(triple16)]
("Gary" "is" "young" "+")
triple16
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple6) -> rule5) OR ((((triple3 triple4) -> rule2)) -> rule5))] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple3 triple4) -> rule2))] Erin is big.[(triple7)] Erin is furry.[(triple8)] Erin is round.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11 OR ((triple15) -> rule5) OR ((((triple14 triple16) -> rule7)) -> rule5))] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is not young.[(triple16)] Gary is round.[(triple14)] Gary is smart.[(triple15 OR ((triple14 triple16) -> rule7))] @1: Erin is not young.[(((triple9 triple7) -> rule3))] @2: Erin is smart.[(((triple9 ((triple9 triple7) -> rule3)) -> rule7))] @3: Erin is cold.[(((((triple9 ((triple9 triple7) -> rule3)) -> rule7)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple6) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple3 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple3 triple4) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple15) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple14 triple16) -> (rule7 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is not young.
("Gary" "is" "young" "-")
triple16
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
((triple14 triple16) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Erin is not young.
("Erin" "is" "young" "-")
((triple9 triple7) -> (rule3 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple9 ((triple9 triple7) -> (rule3 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not young.
("Erin" "is" "young" "-")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((triple9 ((triple9 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is not young.
("Erin" "is" "young" "-")
int3