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