Erin is green. Erin is round. Erin is not smart. Erin is white. Fiona is green. Fiona is round. Fiona is young. Gary is young. Harry is green. Harry is round. Harry is smart. Harry is young. Big people are round. All young, smart people are round. If someone is smart and green then they are nice. Big, nice people are young. All nice people are white. All young people are big.
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All young, smart people are round.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If someone is smart and green then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Big, nice people are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
All nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
All young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Gary is young.
True
1
proof
[(triple8)]
("Gary" "is" "young" "+")
triple8
Harry is not young.
False
1
inv-proof
[(triple12)]
("Harry" "is" "young" "-")
triple12
Gary is big.
True
2
proof
[(((triple8) -> rule6))]
("Gary" "is" "big" "+")
((triple8) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple8) -> rule6))]
("Gary" "is" "big" "-")
((triple8) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not white.
Unknown
inv-rconc
[@2: Gary is white.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Gary" "is" "white" "-")
Fiona is white.
Unknown
rconc
[@2: Fiona is white.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fiona" "is" "white" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Erin is green.[(triple1)] Erin is not smart.[(triple3)] Erin is round.[(triple2)] Erin is white.[(triple4)] Fiona is green.[(triple5)] Fiona is round.[(triple6 OR ((((triple7) -> rule6)) -> rule1))] Fiona is young.[(triple7)] Gary is young.[(triple8)] Harry is green.[(triple9)] Harry is round.[(triple10 OR ((triple12 triple11) -> rule2) OR ((((triple12) -> rule6)) -> rule1))] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Fiona is big.[(((triple7) -> rule6))] Gary is big.[(((triple8) -> rule6))] Harry is big.[(((triple12) -> rule6))] Harry is nice.[(((triple11 triple9) -> rule3))] @2: Gary is round.[(((((triple8) -> rule6)) -> rule1))] Harry is white.[(((((triple11 triple9) -> rule3)) -> rule5))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is not smart.
("Erin" "is" "smart" "-")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
((triple12 triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
((triple7) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple8) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple12) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((((triple11 triple9) -> (rule3 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2