Anne is rough. Anne is young. Charlie is nice. Erin is nice. Erin is rough. Erin is smart. Erin is young. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. All furry, kind people are red. Rough, smart people are kind. All young people are smart.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All furry, kind people are red.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Rough, smart people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Erin is nice.
True
1
proof
[(triple4)]
("Erin" "is" "nice" "+")
triple4
Erin is not rough.
False
1
inv-proof
[(triple5)]
("Erin" "is" "rough" "-")
triple5
Fiona is red.
True
3
proof
[(((triple8 triple9) -> rule1) OR ((triple8 ((triple11 triple12) -> rule2)) -> rule1))]
("Fiona" "is" "red" "+")
((triple8 triple9) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8 ((triple11 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not red.
False
3
inv-proof
[(((triple8 triple9) -> rule1) OR ((triple8 ((triple11 triple12) -> rule2)) -> rule1))]
("Fiona" "is" "red" "-")
((triple8 triple9) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8 ((triple11 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Anne is kind.
True
4
proof
[(((triple1 ((triple2) -> rule3)) -> rule2))]
("Anne" "is" "kind" "+")
((triple1 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is not kind.
False
4
inv-proof
[(((triple1 ((triple2) -> rule3)) -> rule2))]
("Anne" "is" "kind" "-")
((triple1 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Anne is red.
Unknown
rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Charlie is nice.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6 OR ((triple7) -> rule3))] Erin is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9 OR ((triple11 triple12) -> rule2))] Fiona is nice.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] @1: Anne is smart.[(((triple2) -> rule3))] Erin is kind.[(((triple5 triple6) -> rule2) OR ((triple5 ((triple7) -> rule3)) -> rule2))] Fiona is red.[(((triple8 triple9) -> rule1) OR ((triple8 ((triple11 triple12) -> rule2)) -> rule1))] @2: Anne is kind.[(((triple1 ((triple2) -> rule3)) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((triple7) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
((triple11 triple12) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Anne is smart.
("Anne" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple5 triple6) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple5 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((triple8 triple9) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8 ((triple11 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2