Dave is blue. Dave is furry. Erin is blue. Erin is furry. Erin is nice. Erin is smart. Fiona is big. Fiona is kind. Fiona is nice. Fiona is smart. Big, kind people are smart. If someone is young and furry then they are kind. Big, nice people are blue. If someone is young then they are nice. If someone is young and kind then they are nice. Furry, young people are big.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Big, kind people are smart.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If someone is young and furry then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Big, nice people are blue.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Furry, young people are big.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Fiona is smart.
True
1
proof
[(triple10 OR ((triple7 triple8) -> rule1))]
("Fiona" "is" "smart" "+")
triple10
((triple7 triple8) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Erin is not smart.
False
1
inv-proof
[(triple6)]
("Erin" "is" "smart" "-")
triple6
Fiona is blue.
True
3
proof
[(((triple7 triple9) -> rule3))]
("Fiona" "is" "blue" "+")
((triple7 triple9) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple7 triple9) -> rule3))]
("Fiona" "is" "blue" "-")
((triple7 triple9) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "kind" "-")
Dave is smart.
Unknown
rconc
[@2: Dave is smart.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Dave" "is" "smart" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Erin is blue.[(triple3)] Erin is furry.[(triple4)] Erin is nice.[(triple5)] Erin is smart.[(triple6)] Fiona is big.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10 OR ((triple7 triple8) -> rule1))] @1: Fiona is blue.[(((triple7 triple9) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((triple7 triple8) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple7 triple9) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1