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