Bob is not big. Bob is young. Dave is big. Dave is furry. Dave is not round. Dave is young. Gary is not big. Gary is not nice. Gary is round. Gary is not smart. If someone is smart then they are not young. All round, young people are not smart. If Dave is red and Dave is big then Dave is not smart. If Dave is red then Dave is smart. All young people are not nice. All young, smart people are red. All smart people are furry. If someone is smart and furry then they are big.
Bob is not big.
("Bob" "is" "big" "-")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is young.
("Dave" "is" "young" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
If someone is smart then they are not young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "-"))
All round, young people are not smart.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "-"))
If Dave is red and Dave is big then Dave is not smart.
((("Dave" "is" "red" "+") ("Dave" "is" "big" "+")) -> ("Dave" "is" "smart" "-"))
If Dave is red then Dave is smart.
((("Dave" "is" "red" "+")) -> ("Dave" "is" "smart" "+"))
All young people are not nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "-"))
All young, smart people are red.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
All smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If someone is smart and furry then they are big.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Gary is round.
True
1
proof
[(triple9)]
("Gary" "is" "round" "+")
triple9
Bob is not young.
False
1
inv-proof
[(triple2)]
("Bob" "is" "young" "-")
triple2
Dave is not nice.
True
2
proof
[(((triple6) -> rule5))]
("Dave" "is" "nice" "-")
((triple6) -> (rule5 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1
Bob is nice.
False
2
inv-proof
[(((triple2) -> rule5))]
("Bob" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is furry.
Unknown
rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "furry" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is not big.[(triple1)] Bob is young.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is not round.[(triple5)] Dave is young.[(triple6)] Gary is not big.[(triple7)] Gary is not nice.[(triple8)] Gary is not smart.[(triple10)] Gary is round.[(triple9)] @1: Bob is not nice.[(((triple2) -> rule5))] Dave is not nice.[(((triple6) -> rule5))]
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is not round.
("Dave" "is" "round" "-")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Gary is not big.
("Gary" "is" "big" "-")
triple7
Gary is not nice.
("Gary" "is" "nice" "-")
triple8
Gary is not smart.
("Gary" "is" "smart" "-")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Bob is not nice.
("Bob" "is" "nice" "-")
((triple2) -> (rule5 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Dave is not nice.
("Dave" "is" "nice" "-")
((triple6) -> (rule5 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1